A General Approa h for Determining the Swit hingProbability in Rapid Single Flux Quantum Logi

A Control Theory Approa h to Cell S heduling in ATM Swit hesSrinivasan

Feature Logics and Refinement

In this paper, we present an institution of feature logi s whi h generalises the earlier approa h of [6℄ in various way. Then we de ne a re nement theory to deal with the omplexity of feature intera tions in this generi framework. Indeed, one of the main problem en ountered when dealing with feature intera tion is the omplexity of the dete tion. There is a general agreement on the point that im...

Electronic Properties of a Concentric Triple Quantum Nanoring

In this paper, we study the electronic properties of a concentric triple quantum ring using exact diagonalization technique. The energy spectra and magnetization for a single electron and two electrons, in the presence of an applied magnetic field, are calculated and discussed. It is shown that, for two-interacting electrons, the period of Aharonov-Bohm oscillations decreases to the half of tha...

Temporal logi of programs : a standard approa

A Spatial Logic for Querying Graphs

Lu a Cardelli, Philippa Gardner and Giorgio Ghelli1 Abstra t. We study a spatial logi for reasoning about labelled dire ted graphs, and the appli ation of this logi to provide a query language for analysing and manipulating su h graphs. We give a graph des ription using onstru ts from pro ess algebra. We introdu e a spatial logi in order to reason lo ally about disjoint subgraphs. We extend our...